101. Selected papers in proof theory
Author: Mints, G. E.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Proof theory
Classification :
QA
9
.
54
.
M56
1992
102. Structural proof theory
Author: Negri, Sara
Library: Central Library and Documentation Center (Semnan)
Subject: ، Proof theory
Classification :
QA
9
.
54
.
N44
2001
103. Structural proof theory
Author: Negri, Sara, 7691-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Proof theory
Classification :
QA
9
.
54
.
N44
104. Structural proof theory
Author: Negri, Sara, 7691-
Library: Latin Specialized Library of Islamic Sciences and Culture Academy (Qom)
Subject: ، Proof theory
Classification :
QA
9
.
54
.
N4S78
105. Structural proof theory /
پدیدآورنده : Negri, Sara, Sara Negri, Jan von Plato ; with an appendix by Aarne Ranta
موضوع : ، Proof theory
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
106. Structural proof theory
Author: Negri, Sara
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Proof theory
Classification :
QA
9
.
54
.
N44
2001
107. The Semantics and Proof Theory of the Logic of Bunched Implications
Author: by David J. Pym.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic.,Philosophy (General).
108. The semantics and proof theory of the logic of bunched implications
پدیدآورنده : Pym, David J.
موضوع : ، Logic, Symbolic and mathematical
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
109. Theories for admissible sets : a unifying approach to proof theory
Author: Jager, Gerhard
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Proof theory,، Admissible sets
Classification :
QA
9
.
54
.
J34
1986
110. Truth, Proof and Infinity A Theory of Constructive Reasoning.
Author: Fletcher, P.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
111. Type Theory and Formal Proof: An Introduction
Author: / Professor Rob Nederpelt, Professor Herman Geuvers
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: ARCHITECTURE|COMPUTER SCIENCE, SOFTWARE ENGINEERING&COMPUTER SCIENCE, HARDWARE
Classification :
E-BOOK
112. Type theory and formal proof :
Author: Rob Nederpelt, Eindhoven University of Technology, the Netherlands, Herman Geuvers, Radbound University Nijmegen, and Eindhoven University of Technology, the Netherlands
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Type theory
Classification :
QA9
.
N37
2014
113. What logics mean : from proof theory to model-theoretic semantics
Author: Garson, James W., 3491-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic,، Semantics,، Logic, Symbolic and mathematical
Classification :
BC
71
.
G37W45
114. classical logics /-Arnon Avron on semantics and proof theory of non
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Logic, Symbolic and mathematical. ;
115. proof theory
Author: Schutte, Kurt
Library: Central Library and Documents Center of Al-Zahra University (Tehran)
Subject: ، Proof theory
Classification :
QA
9
.
54
.
S3813
116. proof theory for fuzzy logics
Author: Metcalfe, george
Library: Library of Farabi Campus of Tehran University (Qom)
Subject:
Classification :
QA
9
.
64
.
P78
2009
117. theoretic approach to proof theory /-A model
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Proof theory. ;
118. theory-Hybrid logic and its proof
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Proof theory. ; Logic, Symbolic and mathematical. ;
